A representation theorem for linearly ordered cardinal algebras
نویسندگان
چکیده
منابع مشابه
Decision methods for linearly ordered Heyting algebras
This paper presents a simple decision method for positively quantified formulae of the classical firstorder theory LOHA of linearly ordered Heyting algebras, where by positively quantified we mean that universal quantifiers appear only in positive positions and existential quantifiers appear only in negative positions. Π1-formulae are examples. In particular, word problems, either in LOHA or in...
متن کاملA Representation Theorem for Co-diagonalizable Algebras
This abstract is a summary of a lecture given at the Seminar of the Department of Logic and Methodology of Sciences, Wroc law University, 23 May 1985. The present work refers directly to the investigations of Buszkowski and Prucnal [1] and that of Esakia [2], generalizing their results. Our main representation theorem for co-diagonalizable algebras (Theorem 2) is obtained by application of cert...
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملA Representation Theorem for MV-algebras
An MV-pair is a pair (B, G) where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain conditions. Let ∼G be the equivalence relation on B naturally associated with G. We prove that for every MV-pair (B, G), the effect algebra B/ ∼G is an MV-effect algebra. Moreover, for every MV-effect algebra M there is an MV-pair (B, G) such that M is isomorphic to B/ ∼G.
متن کاملRepresentation theorem for convex effect algebras
Effect algebras have important applications in the foundations of quantum mechanics and in fuzzy probability theory. An effect algebra that possesses a convex structure is called a convex effect algebra. Our main result shows that any convex effect algebra admits a representation as a generating initial interval of an ordered linear space. This result is analogous to a classical representation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1971
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-71-1-85-91